Temporal Equilibrium Logic

This talk introduces the Temporal Equilibrium Logic, a combination of standard Linear Temporal Logic with a formalism called Equilibrium Logic, used to to characterise logic programming under the answer set semantics. The talk will explain the basic syntax and semantics together with some elementary properties and recent results. Some motivating examples will show the potential utility of nonmonotonic temporal reasoning for different application scenarios like action domains or context evolution. Short Biography. Pedro Cabalar is an associate professor of the Department of Computer Science at the University of Corunna, Spain, and organizes the MSc and PhD degrees in Computing research offered by that department. He graduated in 1993 in Computer Science in the Politechnic University of Madrid and received his PhD degree from the University of Corunna in 2001, on the topic of causality in action domains. His research is mostly related to logical approaches for Knowledge Representation in Artificial Intelligence, being particularly interested in Nonmonotonic Reasoning and Logic Programming under the Answer Set semantics. He has both published and actively participated as Program Committee or reviewer in main conferences (ICLP, LPNMR, KR, AAAI, ECAI, JELIA), journals (TPLP, AIJ, AMAI) and specialized workshops (NMR, ASP, ASPOCP) of these areas. He has also conducted several research projects in Answer Set Programming, in coordination with other groups in Spain. ? I am especially grateful to David Pearce, Agustı́n Valverde, Felicidad Aguado, Gilberto Pérez, Conchi Vidal and Martı́n Diéguez for their direct implication in many of the results related to this talk, and to the workshop organisers Alessandra Mileo and Michael Fink for their kind invitation.